Конструктивное направление - definição. O que é Конструктивное направление. Significado, conceito
Diclib.com
Dicionário ChatGPT
Digite uma palavra ou frase em qualquer idioma 👆
Idioma:

Tradução e análise de palavras por inteligência artificial ChatGPT

Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:

  • como a palavra é usada
  • frequência de uso
  • é usado com mais frequência na fala oral ou escrita
  • opções de tradução de palavras
  • exemplos de uso (várias frases com tradução)
  • etimologia

O que (quem) é Конструктивное направление - definição

ЖЕЛЕЗНОДОРОЖНАЯ ЛИНИЯ МОСКОВСКОЙ ЖЕЛЕЗНОЙ ДОРОГИ В РОССИИ
Белорусское направление МЖД; Смоленское направление МЖД; Белорусское направление; Смоленское направление Московской железной дороги
  • Белорусское направление МЖД, вид в сторону станции Фили

Конструктивное направление      

в математике, математическое мировоззрение, связанное с признанием исследования конструктивных процессов и конструктивных объектов основной задачей математики. К концу 19 в. в математике возникло неконструктивное, теоретико-множественное направление, получившее существенное развитие в трудах К. Вейерштрасса, Р. Дедекинда и особенно Г. Кантора. Началось построение теории множеств, претендовавшей на роль фундамента всей математики. В этой теории, в соответствии с изречением Кантора "сущность математики в её свободе", допускался большой произвол при введении "множеств", которые затем рассматривались как законченные "объекты". Однако в начале 20 в. в теории множеств были открыты т. н. антиномии, т. е. противоречия, показавшие, что нельзя любым образом объединить "объекты" в "множества". Попытки преодолеть возникшие трудности были сделаны на пути аксиоматизации теории множеств, т. е. превращения её в аксиоматическую науку наподобие геометрии (см. Аксиоматическая теория множеств). Это осуществляется так, чтобы всё, требуемое для обоснования математики, получалось на основе аксиом, тогда как известные до сих пор антиномии не проходили бы.

Первая попытка в этом направлении была предпринята Э. Цермело, опубликовавшим свою систему аксиом теории множеств в 1908. Известные антиномии теории множеств не проходили в системе Цермело, однако гарантий против появления противоречий не было. Возникла проблема обеспечения непротиворечивости аксиоматически построенной теории множеств. Эту проблему выдвинул и пытался решить Д. Гильберт, основная идея которого состояла в полной формализации аксиоматической теории множеств, в трактовке её как формальной системы (см. в ст. Логика). Задача установления непротиворечивости рассматриваемой теории сводилась бы тогда к доказательству формальной недоказуемости формул определённого вида. Это доказательство должно было быть убедительным рассуждением о конструктивных объектах - формальных доказательствах. Оно, таким образом, должно было укладываться в рамки конструктивной математики (См. Конструктивная математика). Цепь, поставленная Гильбертом, оказалась недостижимой, что было доказано К. Гёделем (См. Гёдель) в 1931. Однако большой интерес представляет предложенное Гильбертом средство - Метаматематика, конструктивная наука о формальных доказательствах, являющаяся частью конструктивной математики. Программу Гильберта можно охарактеризовать как неудавшуюся попытку обосновать теоретико-множественную математику на базе конструктивной математики, в надёжности которой он не сомневался. Самого же Гильберта следует считать одним из основоположников конструктивной математики.

К. н. можно рассматривать как ответвление основанного Л. Э. Я. Брауэром интуиционизма, программа которого состоит в исследовании умственных математических построений. Близость К. н. к интуиционизму проявляется в понимании дизъюнкций и теорем существования, а также в трактовке закона исключенного третьего. Расхождения между этими двумя направлениями состоят прежде всего в том, что конструктивисты, в отличие от интуиционистов, не считают свои построения чисто умственным занятием; кроме того, интуиционисты рассуждают о неких "свободно становящихся последовательностях" и рассматривают континуум как "среду свободного становления", тем самым привлекая к рассмотрению неконструктивные объекты. К. н. в математике привело к построению особой науки - конструктивной математики.

А. А. Марков.

Курское направление Московской железной дороги         
Курское направление Московской железной дороги — железнодорожная линия от Москвы до Курска через Тулу и Орёл длиной 536 км. Проходит по городу Москве, Московской, Тульской, Орловской и Курской областям.
Рязанское направление Московской железной дороги         
  • альт=
  • альт=
  • альт=
  • альт=
  • Раменское]], Московская область
  • Ансамбль исторических зданий на станции Раменское незадолго перед разрушением в 2005
  • Выхино]] в Москве
Рязанское направление Московской железной дороги — железнодорожная линия от Москвы до Рязани через города Люберцы, Жуковский, Раменское, Белоозёрский, Воскресенск, Коломна, Озёры, Луховицы, Зарайск. Проходит по Москве (Центральный, Восточный, Юго-Восточный округа), Московской и Рязанской областям.

Wikipédia

Белорусское направление Московской железной дороги

Белорусское направление Московской железной дороги (встречается также название «Смоленское направление») — железнодорожная линия от Москвы к Смоленску и далее до границы с Белоруссией (до станции Красное). Длина главного хода 490 км.

Линия административно относится к двум регионам Московской железной дороги: участок от Москвы до станции Можайск — к Московско-Смоленскому (центр — Москва-Пассажирская-Смоленская), участок от станции Бородино до границы с Белоруссией — к Смоленскому (центр — Смоленск).

Участок Москва-Пассажирская-Смоленская — Одинцово четырёхпутный, далее — двухпутный на всём протяжении. Все ответвления однопутные, за исключением участка Смоленск — Ракитная, где обе параллельных линии двухпутные.

Участок от Белорусского вокзала до станции Бородино (включая Усовскую и Звенигородскую ветки) оборудован высокими пассажирскими платформами. На самой станции Бородино одна платформа высокая, другая низкая. Две высоких платформы также имеются на станции Смоленск, одна — на станции Вязьма. Большинство платформ на участке Вязьма — Красное укороченные. Единственная высокая укороченная платформа на Белорусском направлении — на станции Кунцево-2.

O que é Конструкт<font color="red">и</font>вное направл<font color="red">е</font>ние - definição, si